Dimitri Hendriks: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

SPIE Proceedings [SPIE SPIE Security + Defence - Dresden, Germany (Monday 23 September 2013)] Electro-Optical Remote Sensing, Photonic Technologies, and Applications VII; and Military Applications in Hyperspectral Imaging and High Spatial Resolution Sensing - Combined airborne sensors in urban environment

Dimmeler, Alwin, Schilling, Hendrik, Shimoni, Michal, Bulatov, Dimitri, Middelmann, Wolfgang, Kamerman, Gary W., Steinvall, Ove K., Bishop, Gary J., Gonglewski, John D.

Year:

2013

Language:

english

File:

PDF, 733 KB

english, 2013

2

Object-based detection of vehicles using combined optical and elevation data

Schilling, Hendrik, Bulatov, Dimitri, Middelmann, Wolfgang

Journal:

ISPRS Journal of Photogrammetry and Remote Sensing

Year:

2018

Language:

english

File:

PDF, 7.03 MB

english, 2018

3

Flooding a landscape: impact of Holocene transgression on coastal sedimentology and underwater archaeology in Kiladha Bay (Greece)

Surdez, Morgane, Beck, Julien, Sakellariou, Dimitris, Vogel, Hendrik, Birchler Emery, Patrizia, Koutsoumba, Despina, Anselmetti, Flavio S.

Journal:

Swiss Journal of Geosciences

Year:

2018

Language:

english

File:

PDF, 3.23 MB

english, 2018

4

Detection of Vehicles in Multisensor Data via Multibranch Convolutional Neural Networks

Schilling, Hendrik, Bulatov, Dimitri, Niessner, Robin, Middelmann, Wolfgang, Soergel, Uwe

Journal:

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing

Year:

2018

Language:

english

File:

PDF, 2.44 MB

english, 2018

5

[IEEE 2018 15th International Symposium on Wireless Communication Systems (ISWCS) - Lisbon, Portugal (2018.8.28-2018.8.31)] 2018 15th International Symposium on Wireless Communication Systems (ISWCS) - A Software-Defined Channel Sounder for Industrial Environments with Fast Time Variance

Fliedner, Niels Hendrik, Block, Dimitri, Meier, Uwe

Year:

2018

Language:

english

File:

PDF, 5.65 MB

english, 2018

6

Productivity of stream definitions

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.43 MB

english, 2010

7

19%-efficient and 43 µm-thick crystalline Si solar cell from layer transfer using porous silicon

Jan Hendrik Petermann, Dimitri Zielke, Jan Schmidt, Felix Haase, Enrique Garralaga Rojas, Rolf Brendel

Journal:

Progress in Photovoltaics: Research and Applications

Year:

2012

Language:

english

File:

PDF, 403 KB

english, 2012

8

Early manganese-toxicity response in Vigna unguiculata L. – a proteomic and transcriptomic study

Hendrik Führs, Moritz Hartwig, Laura Elisa Buitrago Molina, Dimitri Heintz, Alain Van Dorsselaer, Hans-Peter Braun, Walter J. Horst

Journal:

Year:

2008

Language:

english

File:

PDF, 413 KB

english, 2008

9

On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic

Marc Bezem, Dimitri Hendriks

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 557 KB

english, 2008

10

Lazy productivity via termination

Jörg Endrullis, Dimitri Hendriks

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 393 KB

english, 2011

11

A realtime hardware system for stereoscopic videoconferencing with viewpoint adaptation

Jens-Rainer Ohm, Karsten Grüneberg, Emile Hendriks, M. Ebroul Izquierdo, Dimitris Kaliva, Michael Karl, Dionysis Papadimatos, André Redert

Journal:

Signal Processing: Image Communication

Year:

1998

Language:

english

File:

PDF, 1.42 MB

english, 1998

12

Proof Reflection in Coq

Dimitri Hendriks

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 198 KB

english, 2002

13

Automated Proof Construction in Type Theory Using Resolution

Marc Bezem, Dimitri Hendriks, Hans de Nivelle

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

14

Contact passivation in silicon solar cells using atomic-layer-deposited aluminum oxide layers

Dimitri Zielke, Jan Hendrik Petermann, Florian Werner, Boris Veith, Rolf Brendel, Jan Schmidt

Journal:

physica status solidi (RRL) - Rapid Research Letters

Year:

2011

Language:

english

File:

PDF, 473 KB

english, 2011

15

Molecular determinants and feedback circuits regulating type 2 CRH receptor signal integration

Danijela Markovic, Anu Punn, Hendrik Lehnert, Dimitris K. Grammatopoulos

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular Cell Research

Year:

2011

Language:

english

File:

PDF, 1.31 MB

english, 2011

16

Effects of crust and mantle heterogeneity on PP/P and SS/S amplitude ratios

Ritsema, Jeroen, Rivera, Luis A., Komatitsch, Dimitri, Tromp, Jeroen, van Heijst, Hendrik-Jan

Journal:

Geophysical Research Letters

Year:

2002

Language:

english

File:

PDF, 553 KB

english, 2002

17

Highlights in infinitary rewriting and lambda calculus

Endrullis, Jörg, Hendriks, Dimitri, Klop, Jan Willem

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 982 KB

english, 2012

18

Expression pattern and localization of alpha-synuclein in the human enteric nervous system

Böttner, Martina, Zorenkov, Dimitri, Hellwig, Ines, Barrenschee, Martina, Harde, Jonas, Fricke, Tobias, Deuschl, Günther, Egberts, Jan-Hendrik, Becker, Thomas, Fritscher-Ravens, Annette, Arlt, Alexand

Journal:

Neurobiology of Disease

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

19

Effect of manganese on the resistance of tomato to Pseudocercospora fuligena

Heine, Gregor, Max, Johannes F. J., Führs, Hendrik, Moran-Puente, Diana W., Heintz, Dimitri, Horst, Walter J.

Journal:

Journal of Plant Nutrition and Soil Science

Year:

2011

Language:

english

File:

PDF, 384 KB

english, 2011

20

Extra-nuclear telomerase reverse transcriptase (TERT) regulates glucose transport in skeletal muscle cells

Shaheen, Fozia, Grammatopoulos, Dimitris K., Müller, Jürgen, Zammit, Victor A., Lehnert, Hendrik

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular Basis of Disease

Year:

2014

Language:

english

File:

PDF, 1.44 MB

english, 2014

21

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Modular Construction of Fixed Point Combinators and Clocked Böhm Trees

Endrullis, Jörg, Hendriks, Dimitri, Klop, Jan Willem

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

22

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Automatic Sequences and Zip-Specifications

Grabmayer, Clemens, Endrullis, Jorg, Hendriks, Dimitri, Klop, Jan Willem, Moss, Lawrence S.

Year:

2012

Language:

english

File:

PDF, 321 KB

english, 2012

23

On the complexity of stream equality

ENDRULLIS, JÖRG, HENDRIKS, DIMITRI, BAKHSHI, RENA, ROŞU, GRIGORE

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 634 KB

english, 2014

24

Intracellular Mechanisms Regulating Corticotropin-Releasing Hormone Receptor-2β Endocytosis and Interaction with Extracellularly Regulated Kinase 1/2 and p38 Mitogen-Activated Protein Kinase Signaling Cascades

Markovic, Danijela, Punn, Anu, Lehnert, Hendrik, Grammatopoulos, Dimitris K.

Journal:

Molecular Endocrinology

Year:

2008

Language:

english

File:

PDF, 1.60 MB

english, 2008

25

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - On the complexity of equivalence of specifications of infinite objects

Endrullis, Jörg, Hendriks, Dimitri, Bakhshi, Rena

Year:

2012

Language:

english

File:

PDF, 733 KB

english, 2012

26

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - On periodically iterated morphisms

Endrullis, Jörg, Hendriks, Dimitri

Year:

2014

Language:

english

File:

PDF, 368 KB

english, 2014

27

Structural Determinants Critical for Localization and Signaling within the Seventh Transmembrane Domain of the Type 1 Corticotropin Releasing Hormone Receptor: Lessons from the Receptor Variant R1d

Markovic, Danijela, Lehnert, Hendrik, Levine, Michael A., Grammatopoulos, Dimitris K.

Journal:

Molecular Endocrinology

Year:

2008

Language:

english

File:

PDF, 1.04 MB

english, 2008

28

SPIE Proceedings [SPIE SPIE Remote Sensing - Toulouse, France (Monday 21 September 2015)] Image and Signal Processing for Remote Sensing XXI - Object-based detection of vehicles in airborne data

Bruzzone, Lorenzo, Schilling, Hendrik, Bulatov, Dimitri, Middelmann, Wolfgang

Year:

2015

Language:

english

File:

PDF, 637 KB

english, 2015

29

[IEEE 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Luxembourg, Luxembourg (2015.9.8-2015.9.11)] 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Wireless channel measurement data sets for reproducible performance evaluation in industrial environments

Block, Dimitri, Fliedner, Niels Hendrik, Toews, Daniel, Meier, Uwe

Year:

2015

Language:

english

File:

PDF, 577 KB

english, 2015

30

Structure-Activity Relationships of a Diverse Class of Halogenated Phenazines that Targets Persistent, Antibiotic-Tolerant Bacterial Biofilms and Mycobacterium tuberculosis

Garrison, Aaron T., Abouelhassan, Yasmeen, Norwood, Verrill M, Kallifidas, Dimitris, Bai, Fang, Nguyen, Minh Thu, Rolfe, Melanie, Burch, Gena M., Jin, Shouguang, Luesch, Hendrik, Huigens III, Robert W

Journal:

Journal of Medicinal Chemistry

Year:

2016

Language:

english

File:

PDF, 2.94 MB

english, 2016

31

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Regularity Preserving but Not Reflecting Encodings

Endrullis, Jorg, Grabmayer, Clemens, Hendriks, Dimitri

Year:

2015

Language:

english

File:

PDF, 306 KB

english, 2015

32

[Offshore Technology Conference OTC Brasil - Rio de Janeiro, Brazil (2015-10-27)] OTC Brasil - Magellan Class Drillship: Designing the Rig of the Future

Hendriks, Sjoerd, Claassen, Laurens, Chalkias, Dimitris

Language:

english

File:

PDF, 2.21 MB

english

33

Halogenated Phenazines that Potently Eradicate Biofilms, MRSA Persister Cells in Non-Biofilm Cultures, and Mycobacterium tuberculosis

Garrison, Aaron T., Abouelhassan, Yasmeen, Kallifidas, Dimitris, Bai, Fang, Ukhanova, Maria, Mai, Volker, Jin, Shouguang, Luesch, Hendrik, Huigens, Robert W.

Journal:

Angewandte Chemie International Edition

Year:

2015

Language:

english

File:

PDF, 2.34 MB

english, 2015

34

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Concolic test generation for PLC programs using coverage metrics

Bohlender, Dimitri, Simon, Hendrik, Friedrich, Nico, Kowalewski, Stefan, Hauck-Stattelmann, Stefan

Year:

2016

Language:

english

File:

PDF, 209 KB

english, 2016

35

Halogenated Phenazines that Potently Eradicate Biofilms, MRSA Persister Cells in Non-Biofilm Cultures, and Mycobacterium tuberculosis

Garrison, Aaron T., Abouelhassan, Yasmeen, Kallifidas, Dimitris, Bai, Fang, Ukhanova, Maria, Mai, Volker, Jin, Shouguang, Luesch, Hendrik, Huigens, Robert W.

Journal:

Angewandte Chemie

Year:

2015

Language:

english

File:

PDF, 2.32 MB

english, 2015

36

[SCITEPRESS - Science and and Technology Publications 11th International Conference on Informatics in Control, Automation and Robotics - Vienna, Austria (2014.9.1-2014.9.3)] Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - An Automated Work Cycle Classification and Disturbance Detection Tool for Assembly Line Work Stations

Bauters, Karel, Van Landeghem, Hendrik, Slembrouck, Maarten, Van Cauwelaert, Dimitri, Van Haerenborgh, Dirk

Year:

2014

Language:

english

File:

PDF, 711 KB

english, 2014

37

19 % ‐ ef fi cient and 43 µm ‐ thick crystalline Si solar cell from layer transfer using porous silicon

Petermann, Jan Hendrik, Zielke, Dimitri, Schmidt, Jan, Haase, Felix, Rojas, Enrique Garralaga, Brendel, Rolf

Year:

2011

Language:

english

File:

PDF, 402 KB

english, 2011

38

[IEEE 2016 9th IAPR Workshop on Pattern Recogniton in Remote Sensing (PRRS) - Cancun, Mexico (2016.12.4-2016.12.4)] 2016 9th IAPR Workshop on Pattern Recogniton in Remote Sensing (PRRS) - Improving semantic orthophotos by a fast method based on harmonic inpainting

Kottler, Benedikt, Bulatov, Dimitri, Schilling, Hendrik

Year:

2016

Language:

english

File:

PDF, 6.64 MB

english, 2016

39

[IEEE 2016 23rd International Conference on Pattern Recognition (ICPR) - Cancun, Mexico (2016.12.4-2016.12.8)] 2016 23rd International Conference on Pattern Recognition (ICPR) - Segmentation methods for detection of stationary vehicles in combined elevation and optical data

Bulatov, Dimitri, Schilling, Hendrik

Year:

2016

Language:

english

File:

PDF, 3.21 MB

english, 2016

40

Clocked lambda calculus

ENDRULLIS, JÖRG, HENDRIKS, DIMITRI, KLOP, JAN WILLEM, POLONSKY, ANDREW

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 309 KB

english, 2017

41

Quality Assessment of Information on Bariatric Surgery Websites

Vetter, Diana, Ruhwinkel, Hendrik, Raptis, Dimitri A., Bueter, Marco

Journal:

Obesity Surgery

Year:

2017

Language:

english

File:

PDF, 659 KB

english, 2017

42

[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation

Ulewicz, Sebastian, Vogel-Heuser, Birgit, Simon, Hendrik, Bohlender, Dimitri, Obster, Mathias, Kowalewski, Stefan

Year:

2017

Language:

english

File:

PDF, 752 KB

english, 2017

43

An Efficient Buchwald-Hartwig/Reductive Cyclization for the Scaffold Diversification of Halogenated Phenazines: Potent Antibacterial Targeting, Biofilm Eradication and Prodrug Exploration

Garrison, Aaron T., Abouelhassan, Yasmeen, Kallifidas, Dimitris, Tan, Hao, Kim, Young Sik, Jin, Shouguang, Luesch, Hendrik, Huigens III, Robert William

Journal:

Journal of Medicinal Chemistry

Year:

2018

Language:

english

File:

PDF, 1.59 MB

english, 2018

44

Rational engineering of Streptomyces albus J1074 for the overexpression of secondary metabolite gene clusters

Kallifidas, Dimitris, Jiang, Guangde, Ding, Yousong, Luesch, Hendrik

Journal:

Microbial Cell Factories

Year:

2018

Language:

english

File:

PDF, 3.39 MB

english, 2018

45

Pharmacological Inhibition of Glycogen Synthase Kinase 3 Regulates T Cell Development In Vitro

Schroeder, Jan-Hendrik, Bell, Lewis S., Janas, Michelle L., Turner, Martin, Kontoyiannis, Dimitris L.

Journal:

Year:

2013

Language:

english

File:

PDF, 4.10 MB

english, 2013

46

The GDNF System Is Altered in Diverticular Disease – Implications for Pathogenesis

Böttner, Martina, Barrenschee, Martina, Hellwig, Ines, Harde, Jonas, Egberts, Jan-Hendrik, Becker, Thomas, Zorenkov, Dimitri, Schäfer, Karl-Herbert, Wedel, Thilo, Skoulakis, Efthimios M. C.

Journal:

Year:

2013

Language:

english

File:

PDF, 1.26 MB

english, 2013

47

Dynamical and Biological Panspermia Constraints Within Multi-planet Exosystems

Veras, Dimitri, Armstrong, David J., Blake, James A., Gutiérrez-Marcos, Jose F., Jackson, Alan P., Schäefer, Hendrik

Journal:

Year:

2018

Language:

english

File:

PDF, 689 KB

english, 2018

48

[IEEE 2018 IEEE International Ultrasonics Symposium (IUS) - Kobe (2018.10.22-2018.10.25)] 2018 IEEE International Ultrasonics Symposium (IUS) - The Ultrasound File Format (UFF) - First Draft

Bernard, Olivier, Bradway, David, Hansen, Hendrik H.G., Kruizinga, Pieter, Nair, Arun, Perdios, Dimitris, Ricci, Stefano, Hoel Rindal, Ole Marius, Rodriguez-Molares, Alfonso, Stuart, Matthias Bo, Vise

Year:

2018

Language:

english

File:

PDF, 19 KB

english, 2018

49

Effect of Cognitive Behavioral Therapy on Clinical Disease Course in Adolescents and Young Adults With Inflammatory Bowel Disease and Subclinical Anxiety and/or Depression: Results of a Randomized Trial

van den Brink, Gertrude, Stapersma, Luuk, Bom, Anna Sophia, Rizopolous, Dimitris, van der Woude, C Janneke, Stuyt, Rogier J L, Hendriks, Danielle M, van der Burg, Joyce A T, Beukers, Ruud, Korpershoek

Journal:

Inflammatory Bowel Diseases

Year:

2019

File:

PDF, 667 KB

2019

50

K 2 Ge 3 As 3 : Fiber-Like Crystals of a Narrow Band-Gap Zintl Phase with One-Dimensional Substructure ∞1 {(Ge 3 As 3 ) 2- }

Eulenstein, Armin R., Bogdanovski, Dimitri, Reinhardt, Hendrik, Miß, Vanessa, Roling, Bernhard, Hampp, Norbert, Dronskowski, Richard, Dehnen, Stefanie

Journal:

Chemistry of Materials

Year:

2019

Language:

english

File:

PDF, 1.63 MB

english, 2019